2

Logical structures and genus of proofs

Année:
2009
Langue:
english
Fichier:
PDF, 1.26 MB
english, 2009
8

Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs

Année:
2000
Langue:
english
Fichier:
PDF, 134 KB
english, 2000
13

Cut-Elimination in Classical and Nonclassical Logic || Group Cancellation and Resolution

Année:
2006
Langue:
english
Fichier:
PDF, 2.04 MB
english, 2006
23

Modelling macromolecular networks: two meetings in Paris, July, 2002

Année:
2002
Langue:
english
Fichier:
PDF, 40 KB
english, 2002
32

Rosser Orderings in Bimodal Logics

Année:
1989
Langue:
english
Fichier:
PDF, 902 KB
english, 1989
33

Much shorter proofs: A bimodal investigation

Année:
1990
Langue:
english
Fichier:
PDF, 1.14 MB
english, 1990
46

Computational Prediction of Genomic Functional Cores Specific to Different Microbes

Année:
2006
Langue:
english
Fichier:
PDF, 225 KB
english, 2006
47

Codon Bias is a Major Factor Explaining Phage Evolution in Translationally Biased Hosts

Année:
2008
Langue:
english
Fichier:
PDF, 326 KB
english, 2008
50

Group Cancellation and Resolution

Année:
2006
Langue:
english
Fichier:
PDF, 313 KB
english, 2006